→ |Q| → |QUOTE|		EXCEPT IN (DEFPROP Q ... MACRO)
→ |PROPVAL| → |CADR|	EXCEPT IN (DEFPROP PROPVAL ... MACRO)

(DEFPROP COMPILE 
 (LAMBDA (NAMES) 
	 (PROG (GENFUNS UNDFUNS CODESIZE CONSTSIZE MSGCHAN
		SHOWNAMES DONE PROP NAME FLAG PLIST)
	       (SETQ CODESIZE (SETQ CONSTSIZE 0)) 
→	  LOOP (COND ((NULL NAMES) ~(OUTC NIL T)
				   (RETURN (REVERSE DONE))))
	       (SETQ NAME (CAR NAMES)) 
	       (COND ((NOT (ATOM NAME)) (EVAL (CONS (QUOTE OUTPUT) NAME))
					(OUTC T NIL)))
	       (SETQ NAMES (CDR NAMES)) 
	       (SETQ PLIST (CDR NAME)) 
	  ILOOP(COND ((NULL PLIST) (GO LOOP))) 
	       (SETQ FLAG (CAR PLIST)) 
	       (SETQ PLIST (CDR PLIST)) 
	       (SETQ PROP (SEEKPROP FLAG (QUOTE DEFACTION))) 
	       (COND ((NULL PROP) (GO ELOOP))) 
	       (SETQ DONE (CONS (CONS NAME FLAG) DONE)) 
	       ((CADR PROP) (LIST (QUOTE DEFPROP) NAME (CAR PLIST) FLAG)) 
	  ELOOP(SETQ PLIST (CDR PLIST)) 
	       (GO ILOOP))) 
 FEXPR)